integrate 1/(1+t^2) dt